аксиома порядка


аксиома порядка
axiome d’ordre

Русско-французский политехнический словарь. 2013.

Смотреть что такое "аксиома порядка" в других словарях:

  • Аксиома Архимеда — для отрезков …   Википедия

  • Аксиома Паша — Аксиома Паша  одна из аксиом порядка в системе аксиом Гильберта евклидовой геометрии. Формулировка аксиомы использует понятие «лежать внутри отрезка», причем отрезок здесь рассматривается как система двух различных точек и , принадлежащих… …   Википедия

  • Аксиома выбора — Аксиомой выбора называется следующее высказывание теории множеств: «Для каждого семейства непустых непересекающихся множеств существует (по меньшей мере одно) множество , которое имеет только один общий элемент c каждым из множеств данного… …   Википедия

  • СВОДИМОСТИ АКСИОМА — аксиома, добавленная Б. Расселом (В. Russell) к его разветвленной теории типов с целью избежать расслоения понятий (см. Непредикативное определение). В разветвленной теории типов множества данного типа разделяются на порядки. Так, вместо понятия… …   Математическая энциклопедия

  • КОЛМОГОРОВА АКСИОМА — аксиома Т 0, самая слабая из всех отделимости аксиом в общей топологии; введена А. Н. Колмогоровым. Топология, пространство удовлетворяет этой аксиоме, или есть Т 0 п ространство, пространство Колмогорова, если, каковы бы ни были две различные… …   Математическая энциклопедия

  • ПАША АКСИОМА — одна из аксиом порядка в Гильберта системе аксиом евклидовой геометрии. Формулировка аксиомы использует понятие лежать внутри отрезка , причем отрезок здесь рассматривается как система двух различных точек Аи В, принадлежащих одной прямой; точки …   Математическая энциклопедия

  • ВЫБОРА АКСИОМА — одна из аксиом теории множеств, гласящая: для всякого семейства Fнепустых множеств существует функция f такая, что для всякого множества Sиз Fимеет место (при этом f наз. функцией выбора на F). Для конечных семейств FВ. а. выводима из остальных… …   Математическая энциклопедия

  • ЛОГИЧЕСКАЯ АКСИОМА — формула логико математич. языка, принимаемая в качестве аксиомы при построении формальной теории, истинная в любой структуре для данного языка в силу смысла логич. символов. Л. а. выбираются таким образом, чтобы множество логических следствий из… …   Математическая энциклопедия

  • Аксиоматика вещественных чисел — система аксиом, один из способов определения вещественных (действительных) чисел. Далее символ обозначает логическое «и». Содержание 1 Аксиомы сложения …   Википедия

  • Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

  • Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом  утверждений, принимаемых без доказательства,  из которых выводятся все теоремы и у …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.